ParseError.agda:1,1-17
Missing type signature for left hand side modle ParseError
when scope checking the declaration
  modle ParseError
    where
